Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
31	Empiricism, Semantics, and Ontology Rudolf Carnap Revue Internationale de Philosophie): Reprinted in the Supplement to Meaning and Necessity: A Study in Semantics and Modal Logic, enlarged edition (Univers Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophy Metaphysics Logic Ontology Meaning Semantics Philosophy of language Philosophical logic Proposition Nominalism Reality Question
32	Time and Reality A talk given to the PPE Club in Oxford on Wednesday, February 11th, 2009 by J.R. Lucas It is mandatory to start with St Augustine, whose famous remark: si nemo me ex me quaerat, scio; si quaerenti explic Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2009-02-20 14:49:46 Physics Theory of relativity Theoretical physics Special relativity Lorentzian manifolds Spacetime Modality Modal logic Eternalism Minkowski space Lorentz transformation Light cone
33	OUP CORRECTED PROOF – FINAL, , SPi 6 Expression, Truth, and Reality: Some Variations on Themes from Wright Add to Reading List Source URL: www.doritbar-on.com Language: English - Date: 2015-05-31 02:01:53 Philosophy Meta-ethics Political philosophy Reality Philosophical logic Expressivism Dorit Bar-On Objectivity Modal logic Truth
34	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-30 17:58:06 Logic Mathematics Mathematical logic Logic programming Model theory Stable model semantics Modal logic Substitution FO Binomial coefficient
35	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
36	ABOUT MANUSCRIPTS FOR IJ ITA Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:59 Logic Abstraction Mathematical logic Automated theorem proving Artificial intelligence Reasoning Theoretical computer science Logic in computer science Reasoning system First-order logic Automated reasoning Modal logic
37	The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Logic Philosophy Abstraction Philosophical logic Revision theory Truth Predicate Supervaluationism Model theory Modal logic Kripke semantics Mathematical logic
38	Mathematical Writing by Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts This report is based on a course of the same name given at Stanford University during autumn quarter, 1987. Here’s the catalog description: C Add to Reading List Source URL: www.cadmo.ethz.ch Language: English - Date: 2008-01-23 04:52:01 Mathematics Logic Integer sequences Sequence Modal logic Prime number Abstraction
39	The Third MACSIM Johns Hopkins University, Apr ,  Program Breakfast, registration, poster set-up (Gilman Atrium) Talk session  (Gilman ) Add to Reading List Source URL: www.macsim.us Language: English - Date: 2013-04-12 16:22:57 Philosophy Logic Grammatical moods Conditionals Modality Metaphysics Semantics Linguistic modality Counterfactual conditional Causality Evidentiality Modal logic
40	JAVANESE MODALS* Jozina Vander Klok McGill University Javanese modals reveal interesting behaviour with respect to morphology and, more significantly, with respect to how the modal space is represented. The goals of this Add to Reading List Source URL: homes.chass.utoronto.ca Language: English - Date: 2009-01-31 12:12:08 Linguistics Grammatical moods Grammar Modality Philosophy Semantics Linguistic modality Epistemic modality Modal logic Lisa Matthewson Tenseaspectmood Shall and will